Model of computation

Results: 512



#Item
51A Synchronous Model for Multi-Party Computation and the Incompleteness of Oblivious Transfer Dennis Hofheinz and J¨orn M¨ uller-Quade IAKS, Arbeitsgruppe Systemsicherheit, Prof. Dr. Th. Beth,

A Synchronous Model for Multi-Party Computation and the Incompleteness of Oblivious Transfer Dennis Hofheinz and J¨orn M¨ uller-Quade IAKS, Arbeitsgruppe Systemsicherheit, Prof. Dr. Th. Beth,

Add to Reading List

Source URL: www.kjdf.de

Language: English - Date: 2014-06-10 05:37:38
    52Forecasting Weather Photograph courtesy of Lloyd Treinish, IBM Thomas J. Watson Research Center. Forecasting the weather requires enormous amounts of data and computation. In order to have an accurate model of the

    Forecasting Weather Photograph courtesy of Lloyd Treinish, IBM Thomas J. Watson Research Center. Forecasting the weather requires enormous amounts of data and computation. In order to have an accurate model of the

    Add to Reading List

    Source URL: msc2010.org

    - Date: 2008-12-18 09:56:12
      53Counter-Example Guided Fence Insertion under TSO Parosh Aziz Abdulla1 , Mohamed Faouzi Atig1 , Yu-Fang Chen2 , Carl Leonardsson1 , and Ahmed Rezine3 1 Uppsala University, Sweden

      Counter-Example Guided Fence Insertion under TSO Parosh Aziz Abdulla1 , Mohamed Faouzi Atig1 , Yu-Fang Chen2 , Carl Leonardsson1 , and Ahmed Rezine3 1 Uppsala University, Sweden

      Add to Reading List

      Source URL: user.it.uu.se

      Language: English - Date: 2012-07-27 18:17:04
      54International Journal of Interactive Multimedia and Artificial Intelligence, Vol. 4, Nº1 A Distributed Intelligent System for Emergency Convoy M. Benalla, B. Achchab, H. Hrimech Univ. Hassan 1, Higher School of Technol

      International Journal of Interactive Multimedia and Artificial Intelligence, Vol. 4, Nº1 A Distributed Intelligent System for Emergency Convoy M. Benalla, B. Achchab, H. Hrimech Univ. Hassan 1, Higher School of Technol

      Add to Reading List

      Source URL: www.ijimai.org

      Language: English - Date: 2016-03-29 07:56:35
      55Virtual Synaptic Interconnect Using an Asynchronous Network-on-Chip Alexander D. Rast, Shufan Yang, Mukaram Khan, Steve B. Furber Abstract— Given the limited current understanding of the neural model of computation, ha

      Virtual Synaptic Interconnect Using an Asynchronous Network-on-Chip Alexander D. Rast, Shufan Yang, Mukaram Khan, Steve B. Furber Abstract— Given the limited current understanding of the neural model of computation, ha

      Add to Reading List

      Source URL: apt.cs.manchester.ac.uk

      Language: English - Date: 2014-05-13 09:16:45
        56Hawk: The Blockchain Model of Cryptography and Privacy-Preserving Smart Contracts ∗ Ahmed Kosba

        Hawk: The Blockchain Model of Cryptography and Privacy-Preserving Smart Contracts ∗ Ahmed Kosba

        Add to Reading List

        Source URL: eprint.iacr.org

        Language: English - Date: 2015-07-21 00:02:53
        57M EMORAX, a precise and sound tool for automatic fence insertion under TSO ? Parosh Aziz Abdulla1 , Mohamed Faouzi Atig1 , Yu-Fang Chen2 , Carl Leonardsson1 , and Ahmed Rezine3 1

        M EMORAX, a precise and sound tool for automatic fence insertion under TSO ? Parosh Aziz Abdulla1 , Mohamed Faouzi Atig1 , Yu-Fang Chen2 , Carl Leonardsson1 , and Ahmed Rezine3 1

        Add to Reading List

        Source URL: user.it.uu.se

        Language: English - Date: 2013-11-24 07:41:22
        58

        Entanglement and Quantum Phase Transition via잸diabatic Quantum Computation Sangchul Oh and Jaewan Kim Korea Institute for Advanced Study We study the entanglment of one- and two-dimensional quantum spin lattice model

        Add to Reading List

        Source URL: newton.kias.re.kr

        - Date: 2013-01-31 02:02:44
          59The Inside-Outside Recursive Neural Network model for Dependency Parsing Phong Le and Willem Zuidema Institute for Logic, Language, and Computation University of Amsterdam, the Netherlands {p.le,zuidema}@uva.nl

          The Inside-Outside Recursive Neural Network model for Dependency Parsing Phong Le and Willem Zuidema Institute for Logic, Language, and Computation University of Amsterdam, the Netherlands {p.le,zuidema}@uva.nl

          Add to Reading List

          Source URL: emnlp2014.org

          Language: English - Date: 2014-10-16 05:20:03
            60Submitted to ACM Autonomous Agents 99 A Synthetic Agent System for Bayesian Modeling Human Interactions Barbara Rosario, Nuria Oliver and Alex Pentland Vision and Modeling. Media Laboratory MIT,

            Submitted to ACM Autonomous Agents 99 A Synthetic Agent System for Bayesian Modeling Human Interactions Barbara Rosario, Nuria Oliver and Alex Pentland Vision and Modeling. Media Laboratory MIT,

            Add to Reading List

            Source URL: www.nuriaoliver.com

            Language: English - Date: 2016-02-16 11:07:15